โมเช ยาโคบ วาดิ (
ฮีบรู: משה יעקב ורדי,
อังกฤษ: Moshe Ya'akov Vardi; เกิด 4 กรกฎาคม ค.ศ. 1954) เป็น
นักวิทยาการคอมพิวเตอร์เชื้อสายยิว ปัจจุบันเขาเป็นศาสตราจารย์สอนอยู่ที่
Rice University ประเทศสหรัฐอเมริกา[2] และเป็นผู้อำนวยการสถาบันเทคโนโลยีสารสนเทศเคนเคนเนดี (Ken Kennedy Institute for Information Technology) ความสนใจของเขามุ่งเน้นไปที่การใช้งานของ
ตรรกะทาง
วิทยาศาสตร์คอมพิวเตอร์ รวมถึง
ทฤษฎีฐานข้อมูล โมเดลทฤษฎีแบบมีขอบเขต (finite-model theory) รูปแบบความรู้ในระบบหลายตัวแทน (multi-agent systems) การตรวจสอบคอมพิวเตอร์ช่วยและการให้เหตุผล และตรรกะการเรียนการสอนในหลักสูตร ดังนั้นเขาจึงเป็นผู้เชี่ยวชาญที่มีชื่อเสียงในการตรวจสอบโมเดล (model checking) ความพึงพอใจที่มีข้อจำกัดและทฤษฎีฐานข้อมูล (constraint satisfaction and database theory) ตรรกะ (logic) และทฤษฎีทางวิทยาการคอมพิวเตอร์ (theoretical computer science)
[3][4]เขาได้เขียนเอกสารทางเทคนิคกว่า 400 ชุดเช่นเดียวกับบรรณาธิการคนอื่นๆ อีกด้วย
[5][6][7] โดยเขาเขียนหนังสือให้เหตุผลเกี่ยวกับความรู้ร่วมกับ Ronald Fagin, Joseph Halpern และ Yoram Moses
[8] และในหนังสือชื่อ Finite Model Theory and Its Applications ร่วมกับ Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Yde Venema และ Scott Weinstein
[9] นอกจากนี้เขายังเป็นบรรณาธิการหัวหน้าด้านการสื่อสารของนิตยสาร ACM (Association for Computing Machinery) อีกด้วย
[10]